Ontology Summit 2008 Communiqué: Towards an open ontology repository

Each annual Ontology Summit initiative makes a statement appropriate to each Summits theme as part of our general advocacy designed to bring ontology science and engineering into the mainstream. The theme this year is "Towards an Open Ontology Repository". This communiqué represents the joint position of those who were engaged in the year's summit discourse on an Open Ontology Repository (OOR) and of those who endorse below. In this discussion, we have agreed that an "ontology repository is a facility where ontologies and related information artifacts can be stored, retrieved and managed." We believe in the promise of semantic technologies based on logic, databases and the Semantic Web, a Web of exposed data and of interpretations of that data (i.e., of semantics), using common standards. Such technologies enable distinguishable, computable, reusable, and sharable meaning of Web and other artifacts, including data, documents, and services. We also believe that making that vision a reality requires additional supporting resources and these resources should be open, extensible, and provide common services over the ontologies

Für | For Manfred from his Students

Dieses Buch enthält Beiträge von Personen, die ihre Magister- oder Doktorarbeit unter der Betreuung von Manfred Krifka geschrieben haben. Es ist als kleines Abschiedsgeschenk für Manfred Krifka zum Ende seiner Amtszeit als Direktor des Leibniz-Zentrums für Allgemeine Sprachwissenschaft gedacht. Die Herausgeberin und der Herausgeber haben Beiträge zu sprachwissenschaftlichen und nicht-sprachwissenschaftlichen Themen in einer Vielzahl von Genres gesammelt. Diese Vielfalt spiegelt die Interessen und Forschungsthemen von Manfred Krifka wider. Sie spiegelt auch die Vielfalt der Menschen wider, denen Manfred Krifka geholfen hat

Constraints and Agents in MADEsmart

As part of the DARPA Rapid Design Exploration and Optimization (RaDEO) program, Boeing, Philadelphia, is involved in an on-going concurrent design engineering research project called MADEsmart which seeks to partially automate the Integrated Product Team (IPT) concept used by Boeing for organizing the design engineering process, with the aid of intelligent agent technology. Although currently only in an early stage of development, the project is expected to crucially employ a constraint-centered System Design Management Agent developed by the University of Toronto's IE Department in conjunction with Boeing. The SDMA will use the constraint-based Toronto Ontologies for a Virtual Enterprise (TOVE) ontologies, and its domain theories for design engineering and dependent underlying theories, phrased as KIF/Ontolingua assertions in an axiomatic system running in the constraint logic system ECLiPSe, as its primary knowledge resource to monitor an ongoing design project, offering resource-all..

Coordination and concord in generalized categorial grammar

This dissertation investigates the interaction between coordination and agreement, including the resolution of distinct features of the individual conjuncts of a coordinated NP and the mechanism for the concord which holds between such an NP and its agreement partner, typically the subject and its verb. A wide range of phenomena in English and other languages which finely delineate the problems of these intersecting components are described, including verb-coded coordination, disagreement, and cover-class agreement. These phenomena are analyzed in terms of Generalized Categorial Grammar, as given coherence by Moortgat (1988) and van Bentham (1986, 1988, 1989), but based upon the type calculus invented by Lambek (1958), in a formulation of the implicational intuitionistic logic using sequents developed by Gentzen (1935). Various extensions to the theory are explored, along with discussions of their necessity. The thesis is proposed and defended that much of the confusion over the interaction of coordination and concord is eliminated by viewing subject/verb agreement as the result of an operation of either function composition between a type-lifted subject and the verb, or a special form of function application over the subject NP by the verb: one that is effectively a composition between the subject and a privileged argument of the verb. This privileged argument is posited to be an incorporated pronominal, itself a lexically un- or partially-specified function. Additional data are analyzed attesting to the intrinsic relationship between subject/predicate agreement, pro-drop forms, pronominal cliticization, and stressed full personal pronouns, which are seen furthermore to be linked semantically and pragmatically by issues of reference and topicality.Linguistic